Heunen, Chris : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (42)
Les plus populaires
Liste
- Liste
- Tableau

1

A Topos for Algebraic Quantum Theory

Chris Heunen, Nicolaas P. Landsman, Bas Spitters

Journal:

Communications in Mathematical Physics

Année:

2009

Langue:

english

Fichier:

PDF, 743 KB

english, 2009

2

Categories of quantum and classical channels

Coecke, Bob, Heunen, Chris, Kissinger, Aleks

Journal:

Quantum Information Processing

Année:

2016

Langue:

english

Fichier:

PDF, 7.31 MB

english, 2016

3

The Many Classical Faces of Quantum Structures

Journal:

Année:

2017

Langue:

english

Fichier:

PDF, 323 KB

english, 2017

4

Semimodule Enrichment

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 348 KB

english, 2008

5

Quantum Logic in Dagger Kernel Categories

Chris Heunen, Bart Jacobs

Journal:

Année:

2010

Langue:

english

Fichier:

PDF, 629 KB

english, 2010

6

Complementarity in Categorical Quantum Mechanics

Journal:

Foundations of Physics

Année:

2012

Langue:

english

Fichier:

PDF, 563 KB

english, 2012

7

Diagonalizing matrices over AW*-algebras

Heunen, Chris, Reyes, Manuel L.

Journal:

Journal of Functional Analysis

Année:

2013

Langue:

english

Fichier:

PDF, 277 KB

english, 2013

8

Active lattices determine AW*-algebras

Heunen, Chris, Reyes, Manuel L.

Journal:

Journal of Mathematical Analysis and Applications

Année:

2014

Langue:

english

Fichier:

PDF, 423 KB

english, 2014

9

Pictures of complete positivity in arbitrary dimension

Coecke, Bob, Heunen, Chris

Journal:

Information and Computation

Année:

2016

Langue:

english

Fichier:

PDF, 295 KB

english, 2016

10

Quantum Physics and Linguistics (A Compositional, Diagrammatic Discourse) || An Alternative Gospel of Structure: Order, Composition, Processes

Heunen, Chris, Sadrzadeh, Mehrnoosh, Grefenstette, Edward

Année:

2013

Langue:

english

Fichier:

PDF, 445 KB

english, 2013

11

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Semantics for probabilistic programming

Staton, Sam, Yang, Hongseok, Wood, Frank, Heunen, Chris, Kammar, Ohad

Année:

2016

Langue:

english

Fichier:

PDF, 371 KB

english, 2016

12

Quantum Physics and Linguistics (A Compositional, Diagrammatic Discourse) || Distributional Semantic Models

Heunen, Chris, Sadrzadeh, Mehrnoosh, Grefenstette, Edward

Année:

2013

Langue:

english

Fichier:

PDF, 409 KB

english, 2013

13

Can a quantum state over time resemble a quantum state at a single time?

Horsman, Dominic, Heunen, Chris, Pusey, Matthew F., Barrett, Jonathan, Spekkens, Robert W.

Journal:

Proceedings Mathematical Physical & Engineering Sciences

Année:

2017

Langue:

english

Fichier:

PDF, 444 KB

english, 2017

14

Automated distribution of quantum circuits via hypergraph partitioning

Andrés-Martínez, Pablo, Heunen, Chris

Journal:

Physical Review A

Année:

2019

Langue:

english

Fichier:

PDF, 507 KB

english, 2019

15

Quantum Logic in Dagger Kernel Categories

Chris Heunen, Bart Jacobs

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2011

Langue:

english

Fichier:

PDF, 371 KB

english, 2011

16

Intuitionistic Quantum Logic of ann-level System

Martijn Caspers, Chris Heunen, Nicolaas P. Landsman, Bas Spitters

Journal:

Foundations of Physics

Année:

2009

Langue:

english

Fichier:

PDF, 655 KB

english, 2009

17

Arrows, like Monads, are Monoids

Chris Heunen, Bart Jacobs

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 300 KB

english, 2006

18

Noncommutativity as a Colimit

Berg, Benno, Heunen, Chris

Journal:

Applied Categorical Structures

Année:

2012

Langue:

english

Fichier:

PDF, 465 KB

english, 2012

19

Bohrification of operator algebras and quantum logic

Chris Heunen, Nicolaas P. Landsman, Bas Spitters

Journal:

Année:

2012

Langue:

english

Fichier:

PDF, 434 KB

english, 2012

20

Relative Frobenius algebras are groupoids

Heunen, Chris, Contreras, Ivan, Cattaneo, Alberto S.

Journal:

Journal of Pure and Applied Algebra

Année:

2013

Langue:

english

Fichier:

PDF, 269 KB

english, 2013

21

Matrix multiplication is determined by orthogonality and trace

Heunen, Chris, Horsman, Clare

Journal:

Linear Algebra and its Applications

Année:

2013

Langue:

english

Fichier:

PDF, 171 KB

english, 2013

22

Characterizations of Categories of Commutative C*-Subalgebras

Journal:

Communications in Mathematical Physics

Année:

2014

Langue:

english

Fichier:

PDF, 325 KB

english, 2014

23

Erratum to: Noncommutativity as a Colimit

Benno van den Berg,Chris Heunen

Journal:

Applied Categorical Structures

Année:

2013

Langue:

english

Fichier:

PDF, 134 KB

english, 2013

24

Book review

Journal:

Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics

Année:

2014

Langue:

english

Fichier:

PDF, 129 KB

english, 2014

25

Quantum realization of arbitrary joint measurability structures

Kunjwal, Ravi, Heunen, Chris, Fritz, Tobias

Journal:

Physical Review A

Année:

2014

Langue:

english

Fichier:

PDF, 251 KB

english, 2014

26

Entangled and Sequential Quantum Protocols with Dephasing

Boixo, Sergio, Heunen, Chris

Journal:

Physical Review Letters

Année:

2012

Langue:

english

Fichier:

PDF, 336 KB

english, 2012

27

Quantum theory realizes all joint measurability graphs

Heunen, Chris, Fritz, Tobias, Reyes, Manuel L.

Journal:

Physical Review A

Année:

2014

Langue:

english

Fichier:

PDF, 133 KB

english, 2014

28

THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH

HEUNEN, CHRIS, LANDSMAN, NICOLAAS P., SPITTERS, BAS, WOLTERS, SANDER

Journal:

Journal of the Australian Mathematical Society

Année:

2011

Langue:

english

Fichier:

PDF, 173 KB

english, 2011

29

Categorical semantics for arrows

JACOBS, BART, HEUNEN, CHRIS, HASUO, ICHIRO

Journal:

Journal of Functional Programming

Année:

2009

Langue:

english

Fichier:

PDF, 291 KB

english, 2009

30

Reversible Monadic Computing

Heunen, Chris, Karvonen, Martti

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2015

Langue:

english

Fichier:

PDF, 315 KB

english, 2015

31

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Domains of Commutative C-Subalgebras

Heunen, Chris, Lindenhovius, Bert

Année:

2015

Langue:

english

Fichier:

PDF, 280 KB

english, 2015

32

LOGIC MEETS PHYSICS || Bohrification of operator algebras and quantum logic

Chris Heunen, Nicolaas P. Landsman and Bas Spitters

Journal:

Année:

2012

Langue:

english

Fichier:

PDF, 2.58 MB

english, 2012

33

The Category of Matroids

Heunen, Chris, Patta, Vaia

Journal:

Applied Categorical Structures

Année:

2017

Langue:

english

Fichier:

PDF, 769 KB

english, 2017

34

Denotational validation of higher-order Bayesian inference

Ścibior, Adam, Ghahramani, Zoubin, Kammar, Ohad, Vákár, Matthijs, Staton, Sam, Yang, Hongseok, Cai, Yufei, Ostermann, Klaus, Moss, Sean K., Heunen, Chris

Journal:

Proceedings of the ACM on Programming Languages

Année:

2017

Langue:

english

Fichier:

PDF, 428 KB

english, 2017

35

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - A convenient category for higher-order probability theory

Heunen, Chris, Kammar, Ohad, Staton, Sam, Yang, Hongseok

Année:

2017

Langue:

english

Fichier:

PDF, 2.10 MB

english, 2017

36

Frobenius Structures Over Hilbert C*-Modules

Heunen, Chris, Reyes, Manuel L.

Journal:

Communications in Mathematical Physics

Année:

2018

Langue:

english

Fichier:

PDF, 745 KB

english, 2018

37

Domains of commutative C*-subalgebras

Heunen, Chris, Lindenhovius, Bert

Journal:

Mathematical Structures in Computer Science

Année:

2019

Fichier:

PDF, 500 KB

2019

38

Domains of commutative C*-subalgebras

Heunen, Chris, Lindenhovius, Bert

Journal:

Mathematical Structures in Computer Science

Année:

2019

Langue:

english

Fichier:

PDF, 500 KB

english, 2019

39

Reversible Effects as Inverse Arrows

Heunen, Chris, Kaarsgaard, Robin, Karvonen, Martti

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2018

Langue:

english

Fichier:

PDF, 288 KB

english, 2018

40

Monoidal characterisation of groupoids and connectors

Gran, Marino, Heunen, Chris, Tull, Sean

Journal:

Topology and its Applications

Année:

2019

Langue:

english

Fichier:

PDF, 1.15 MB

english, 2019

41

Tensor topology

Enrique Moliner, Pau, Heunen, Chris, Tull, Sean

Journal:

Journal of Pure and Applied Algebra

Année:

2020

Fichier:

PDF, 900 KB

2020

42

Topos Quantum Theory with Short Posets

Harding, John, Heunen, Chris

Journal:

Année:

2020

Fichier:

PDF, 395 KB

2020